Skip to content

Handle module-qualified contract type names - #1623

Closed
leighmcculloch wants to merge 3 commits into
mainfrom
qualified-udt-type-names
Closed

Handle module-qualified contract type names#1623
leighmcculloch wants to merge 3 commits into
mainfrom
qualified-udt-type-names

Conversation

@leighmcculloch

@leighmcculloch leighmcculloch commented Aug 9, 2026

Copy link
Copy Markdown
Member

Note

Part of a stack of PRs that must merge in this order.

A first group of PRs deliver const-encoded contract specs, so that contract specs are produced at compile time instead of at proc-macro execution time. This provides the foundation for the capability to construct the specs from information that is not known at proc-macro execution and only known at compile time, like the fully qualified name of a type:

  1. Add borrowed Ref variants of generated types rs-stellar-xdr#560
  2. Add const XDR serialization on View types rs-stellar-xdr#562
  3. Encode contract spec XDR at const evaluation time rs-soroban-sdk#1965

A second group of PRs deliver fully qualified type names in contract specs. Instead of a type having the name Context it will have the name soroban_sdk::auth::Context. Qualified type names make it possible to uniquely identify types in the spec, even when they have the same name. This resolves several problems with contract specs the type identify problem (stellar/rs-soroban-sdk#1570), type aliases limitations (stellar/rs-soroban-sdk#1857 stellar/rs-soroban-sdk#1063), and optimise spec shaking data section size (stellar/rs-soroban-sdk#1978):

  1. Widen user-defined type name limit stellar-xdr#312
  2. Regenerate with widened UDT name limit rs-stellar-xdr#566
  3. Qualify user-defined type names rs-soroban-sdk#1970
  4. Update stellar-xdr to 28.0.0 rs-stellar-rpc-client#108
  5. Patch xdr and spec crates to support long type names stellar-cli#2674
  6. Handle module-qualified contract type names #1623 ← this PR

What

Generated bindings now declare every user-defined type under its whole contract-spec name (token_storage_Balance) and additionally export it under its bare type name (Balance), which is what signatures, imports and existing user code keep referencing; Spec.findEntry accepts either form.

Why

Upcoming rs-soroban-sdk releases name each #[contracttype] by its full Rust module path (rs-soroban-sdk#1970), which the generator would otherwise mangle straight into identifiers like token__storage__Balance.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

1 participant